1. $\neg$($\uparrow$tt)
\\[0ex]$\vdash$  tt = ff